Generating Test Inputs for Embedded Control Systems
نویسندگان
چکیده
An essential aspect of a high-quality design process is the development of test patterns, or sets of test inputs, that can be applied to the final product or intermediate instantiations to identify faults and confirm correct system behavior. In the design of embedded control systems, in particular, the growing use of tools for computer-aided design and simulation increases the prospects for performing extensive testing of the control logic before it is realized in software and implemented on the target processor. The rapid growth of the complexity of embedded control systems and the demand for short design cycles have increased the interest in effective methods for automatic test generation. This article presents a new method for leveraging existing simulation models for embedded control system designs to generate test inputs automatically, thereby eliminating the time-consuming task of creating them manually. Of the two principal ways testing is used to validate system designs, the most common is postproduction to confirm the functionality of the final implementation and check for fabrication flaws. The results of the tests are compared with those
منابع مشابه
MULTICRITERION SYNTHESIS OF INTELLIGENT CONTROL SYSTEMS OF GENERATING UNIT OF NUCLEAR POWER STATION
The paper is devoted to solution of some problems in nuclear power station generating unit intellectual control systems using genetic algorithms on the basis of control system model development, optimizations methods of their direct quality indices and improved integral quadratic estimates. Some mathematical vector models were obtained for control system multicriterion quality indices with due ...
متن کاملThe Sulu Tools for Automated Testing
The Sulu programming language is a programming language inspired by Resolve; it uses the software component and an embedded design-by-contract formal specification as inputs to a unit testing system that provides a framework for automatically generating, executing and evaluating test cases. This paper describes the tools we constructed for the automated testing system, and a summary of an evalu...
متن کاملAdaptive RRTs for Validating Hybrid Robotic Control Systems
Most robot control and planning algorithms are complex, involving a combination of reactive controllers, behavior-based controllers, and deliberative controllers. The switching between different behaviors or controllers makes such systems hybrid, i.e. combining discrete and continuous dynamics. While proofs of convergence, robustness and stability are often available for simple controllers unde...
متن کاملAutomated Generation of Test Trajectories for Embedded Flight Control Systems
Automated generation of test cases is a prerequisite for fast testing. Whereas the research in automated test data generation addressed the creation of individual test points, test trajectory generation has attracted limited attention. In simple terms, a test trajectory is defined as a series of data points, with each (possibly multidimensional) point relying upon the value(s) of previous point...
متن کاملThe Opportunities Afforded by Embedded Computer Systems for Monitoring and Control of Industrial Processes in Less-Industrialised Countries (TECHNICAL NOTE)
The dramatic changes in integrated-circuit technology over the last two decades have been of great benefit to countries such as Zimbabwe. High volume production of VLSI chips has produced a supply of intelligent, versatile electronic processing devices at very low cost. In particular the facilities of the microcontroller have steadily developed to the accompaniment of a reduction in price. Sinc...
متن کامل